Axiom of Choice - PDFSEARCH.IO - Document Search Engine

Axiom of Choice
Results: 97

#	Item
21	DEEYAH PRESENTS IRANIAN WOMAN FUUSE MOUSIQI: WOMAN SERIES Many say that life entered the human body by the help of Add to Reading List Source URL: www.grappa.no Language: English - Date: 2013-09-13 07:55:08 Sepideh Raissadat Iranian music Mohammad-Reza Shajarian Axiom of Choice Persian traditional music Sepideh Music of Iran Parviz Meshkatian Deeyah Music Persian music Asia
22	A Survey of Axiom Selection as a Machine Learning Problem Jasmin Christian Blanchette1 and Daniel Kühlwein2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2014-07-10 18:23:49 Mathematical logic Logical syntax Philosophical logic Automated theorem proving Mathematical proof Axiom of choice Theorem First-order logic Conjecture Logic Mathematics Formal systems
23	Philosophia Mathematica (III[removed]), 227–254. doi:[removed]phimat/nkr024 Advance Access publication August 24, 2011 Category Theory as an Autonomous Foundation† Add to Reading List Source URL: philmat.oxfordjournals.org Language: English Sheaf theory Topos Category of sets Set theory William Lawvere Class Sheaf Category Axiom of choice Mathematics Mathematical logic Category theory
24	Universit¨at Leipzig Fakult¨at f¨ ur Mathematik und Informatik Mathematisches Institut Diplomarbeit Add to Reading List Source URL: lips.informatik.uni-leipzig.de Language: English - Date: 2012-06-06 09:02:11 General topology Non-standard analysis Ultrafilter Ramsey theory Boolean algebra Stone–Čech compactification Filter Ideal Axiom of choice Mathematics Topology Order theory
25	ORDER AND ARITHMETIC OF CARDINALITIES PETE L. CLARK Here we pursue Cantor’s theory of cardinalities of inﬁnite sets a bit more deeply. We also begin to take a more sophisticated approach in that we identify which res Add to Reading List Source URL: math.uga.edu Language: English - Date: 2012-08-06 14:14:25 Cardinality Axiom of choice Cardinal number Countable set Bijection Equivalence relation Semiring Entailment Surjective function Mathematics Logic Functions and mappings
26	DESCRIPTIVE SET THEORY DESCRIPTIVE SET THEORY YIANNIS N. MOSCHOVAKIS Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2009-04-08 15:25:35 Determinacy Borel determinacy theorem Scale Pointclass Borel set Axiom of choice Polish space L Alexander S. Kechris Mathematical logic Set theory Descriptive set theory
27	Questions Answered. In Theory. http://cstheory.stackexchange.com∗ Perhaps you’re a computer scientist wondering how much the Axiom of Choice matters to the theorems you study and prove[21]. Perhaps you’re a mathema Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2010-11-05 18:41:12 Complexity classes Community websites Mathematical optimization Conjectures P versus NP problem Structural complexity theory Stack Exchange Network NP-complete NP Theoretical computer science Computational complexity theory Applied mathematics
28	Basic set theory II Richard Pettigrew March 1, 2012 1 Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:05 Mathematical analysis Surjective function Bijection Axiom of choice Function Injective function Constructible universe Cardinal number Zermelo–Fraenkel set theory Mathematics Mathematical logic Functions and mappings
29	REGULAR PROBABILITY COMPARISONS IMPLY THE BANACH-TARSKI PARADOX ALEXANDER R. PRUSS Abstract. Consider the regularity thesis that each possible event has non-zero probability. H´ ajek challenges this in two ways: (a) the Add to Reading List Source URL: alexanderpruss.com Language: English - Date: 2014-04-15 12:18:35 Logic Banach–Tarski paradox Event Axiom of choice Probability axioms Constructible universe Conditional probability Independence Zermelo–Fraenkel set theory Probability theory Mathematics Mathematical logic
30	Justin Clarke-Doane Columbia University [This is a draft of a companion piece to G.C. Field’s (1932) “The Place of Definition in Ethics”, Proceedings of the Aristotelian Society, 32: 79-94, for a virtual issue of t Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2015-02-03 21:55:01 Set theory Proof theory Formal systems Z notation Axiom of choice Axiom Truth Theory Class Mathematical logic Logic Mathematics